翻訳と辞書
Words near each other
・ Rational Purify
・ Rational quadratic covariance function
・ Rational Quality Manager
・ Rational R1000
・ Rational reciprocity law
・ Rational reconstruction
・ Rational reconstruction (mathematics)
・ Rational Recovery
・ Rational representation
・ Rational Response Squad
・ Rational Rhapsody
・ Rational root theorem
・ Rational sequence topology
・ Rational series
・ Rational Service Tester for SOA Quality
Rational set
・ Rational sieve
・ Rational singularity
・ Rational Software
・ Rational Software Architect
・ Rational Software Modeler
・ Rational solution for Collaborative Lifecycle Management
・ Rational surface
・ Rational Synergy
・ Rational Tau
・ Rational Team Concert
・ Rational temperament
・ Rational trigonometry
・ Rational Unified Process
・ Rational variety


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Rational set : ウィキペディア英語版
Rational set
In computer science, more precisely in automata theory, a rational set of a monoid is an element of the minimal class of subsets of this monoid which contains all finite subsets and is closed under union, product and Kleene star. Rational sets are useful in automata theory, formal languages and algebra.
A rational set generalizes the notion of rational (regular) language (understood as defined by regular expressions) to monoids that are not necessarily free.
==Definition==
Let N be a monoid. The set \mathrm(N) of rational subsets of N is the smallest set that contains every finite set and is closed under
* union: if A,B\in \mathrm(N) then A\cup B\in \mathrm(N)
* product: if A,B\in \mathrm(N) then A\times B=\\in\mathrm(N)
* Kleene star if A\in \mathrm(N) then A^
*=\bigcup_^\infty A^i \in\mathrm(N) where A^1=A and A^=A^n\times A.
This means that any rational subset of N can be obtained by taking a finite number of finite subsets of N and applying the union, product and Kleene star operations a finite number of times.
In general a rational subset of a monoid is not a submonoid.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Rational set」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.